nLab Jacobi identity

Redirected from "bit threads".
Contents

This entry is about the identity in Lie theory. For another identity named after Carl Jacobi, see at Jacobi theta-function and Jacobi form.

Context

Lie theory

∞-Lie theory (higher geometry)

Background

Smooth structure

Higher groupoids

Lie theory

∞-Lie groupoids

∞-Lie algebroids

Formal Lie groupoids

Cohomology

Homotopy

Related topics

Examples

\infty-Lie groupoids

\infty-Lie groups

\infty-Lie algebroids

\infty-Lie algebras

Contents

Idea

The Jacobi identity is an important equational identity that holds in Lie algebras and is also of interest in other algebras. It can be generalised to higher algebras.

There is a non-additive non-abelian form of the Jacobi identity that occurs in considering certain examples in identities among relations in the presentation of certain groups. There it is also called the Hall-Witt identity.

For 11-algebras

Definition

Given a nonassociative algebra 𝔤\mathfrak{g} over a field or a ring kk, whose bilinear product is denoted by bracket [,]:𝔤𝔤𝔤[,]:\mathfrak{g}\otimes\mathfrak{g}\to\mathfrak{g}, the Jacobi identity holds for a triple of elements x,y,z𝔤x,y,z \in \mathfrak{g} if

[x,[y,z]]+[y,[z,x]]+[z,[x,y]]=0. [x,[y,z]] + [y,[z,x]] + [z,[x,y]] = 0 \,.

The principal example is that of a Lie algebra: here the Jacobi identity by definition holds for all triples of elements (and the bracket is skew-symmetric).

Relation to the Leibniz identity

If the bracket [,][-,-] is skew-symmetric the Jacobi identity for all triples is equivalent to the Leibniz identity that for all x,a,bx,a,b, the linear map ad x=[x,]:𝔤𝔤ad_x = [x,-] : \mathfrak{g} \to \mathfrak{g} is a derivation with respect to the Lie bracket:

[x,[a,b]]=[[x,a],b]+[a,[x,b]]. \left[x,\left[a,b\right]\right] = \left[\left[x,a\right],b\right] + \left[a,\left[x,b\right]\right] \,.

One can also consider right derivations (right Leibniz identity), what is again equivalent in the presence of antisymmetry:

[[a,b],x]=[[a,x],b]+[a,[b,x]]. \left[\left[a,b\right],x\right] = \left[\left[a,x\right],b\right] + \left[a,\left[b,x\right]\right] \,.

Left and right Leibniz algebras generalize Lie algebras by having a left or right Leibniz identity, but not necessarily antisymmetry of the bracket. In particular, Jacobi identity, and left and right Leibniz identities do not need to coincide without antisymmetry.

In terms of Chevalley–Eilenberg algebras

A useful way to think of Jacobi identity for finite-dimensional Lie algebras, is dually in terms of the Chevalley-Eilenberg algebra CE(𝔤)CE(\mathfrak{g}) of the Lie algebra 𝔤\mathfrak{g} (see there for details). In terms of this dg-algebra ( 𝔤 *,d 𝔤)(\wedge^\bullet \mathfrak{g}^*, d_{\mathfrak{g}}), the Lie bracket is encoded in the differential

d 𝔤| 𝔤 *:=[,] *:𝔤 *𝔤 *𝔤 * d_{\mathfrak{g}}|_{\mathfrak{g}^*} := [-,-]^* : \mathfrak{g}^* \to \mathfrak{g}^* \wedge \mathfrak{g}^*

and the Jacobi identity is equivalent to the statement that this differential squares to 00

dd=0. d \circ d = 0 \,.

In terms of string diagrams / Jacobi diagrams

In string diagram-notation for Lie algebra objects interal to tensor categories, the Lie action property looks as follows:

ρ(f(x,y),z)=ρ(y,ρ(x,z))ρ(x,ρ(y,z)) f=[,]Liebracket ρ([x,y],z)=ρ(y,ρ(x,z))ρ(x,ρ(y,z))Lieactionproperty ρ=[,]adjointaction [[x,y],z]=[y,[x,z]]+[x,[y,z]]Jacobiidentity \begin{aligned} \Leftrightarrow & \;\;\;\;\; \rho(f(x,y),z) \;=\; \rho(y,\rho(x,z)) - \rho(x,\rho(y,z)) \\ \underset{ {f = [-,-]} \atop {Lie\;bracket} }{ \Leftrightarrow } & \;\;\;\;\; \underset{ {Lie\;action\;property} }{ \underbrace{ \rho([x,y],z) \;=\; \rho(y,\rho(x,z)) - \rho(x,\rho(y,z)) } } \\ \underset{ {\rho = -[-,-]} \atop {adjoint\;action} }{ \Leftrightarrow } & \;\;\;\;\; \underset{ {Jacobi\;identity} }{ \underbrace{ [[x,y],z] \;=\; - [y,[x,z]] + [x,[y,z]] } } \end{aligned}

where the last line shows the equivalence to the Jacobi identity on the Lie algebra object itself in the case that the Lie action is the adjoint action.

graphics from Sati-Schreiber 19c

In the language of Jacobi diagrams this is called the STU-relation. and is the reason behind the existence of Lie algebra weight systems in knot theory.

For L L_\infty-algebras

When Lie algebras are generalized to ∞-Lie algebras, the Jacobi identity in terms of the binary bracket is relaxed to hold only up to a natural isomorphism called the jacobiator, [,,]:𝔤 0𝔤 0𝔤 0𝔤 1[-,-,-] : \mathfrak{g}_0 \vee \mathfrak{g}_0 \vee \mathfrak{g}_0 \to \mathfrak{g}_1,

[x,[y,z]]+[y,[z,x]]+[z,[x,y]]=δ[x,y,z], \left[x,\left[y,z\right]\right] + \left[y,\left[z,x\right]\right] + \left[z,\left[x,y\right]\right] = \delta \left[x,y,z\right] \,,

where δ\delta is the differential.

graphics from Sati-Schreiber 19c On the other hand, in terms of the Chevalley-Eilenberg algebra this is still encoded in just dd=0d \circ d = 0 (see there for details).

Last revised on April 28, 2021 at 15:45:31. See the history of this page for a list of all contributions to it.